A B C D E F G H I L M N O P R S T V W X

P

paint(Graphics) - Method in class presentation.graph.FinalStateVertexRenderer

paint(Graphics) - Method in class presentation.graph.StateVertexRenderer

pairs - Variable in class control.Simulation

presentation - package presentation

presentation.graph - package presentation.graph

presentation.util - package presentation.util

presentState - Variable in class abstraction.StateAction

presentState - Variable in class abstraction.TransitionFunction

presentStateAvailableServices - Variable in class presentation.ExecuteOrchestratorPanel

presentStateTarget - Variable in class presentation.ExecuteOrchestratorPanel

productFinalStates(Set<State>, Set<State>) - Static method in class abstraction.CartesianProduct

This method executes a Cartesian product among final states

productService(Service, Service) - Static method in class abstraction.CartesianProduct

This method builds a String with final states and transition of two Service.

productTransition(Set<TransitionFunction>, String, Set<TransitionFunction>, String) - Static method in class abstraction.CartesianProduct

This method execute a carthisian product among transition functions